A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS
نویسندگان
چکیده
It is well known that free Boolean algebra on n generators isomorphic to the of functions variables. The distributive lattice monotone In this paper we introduce concept De Morgan function and prove Keywords: Antichain, function, algebra.
منابع مشابه
A Characterization of De Morgan Algebras
In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملINVOLUTIVE STONE ALGEBRAS AND REGULAR a-DE MORGAN ALGEBRAS
A piggyback duality and a translation process between this one and a Priestley duality for each subvariety of involutive Stone algebras and regular o-De Morgan algebras is presented. As a consequence we describe free algebras and the prime spectrum of each subvariety.
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملCongruence Coherent Symmetric Extended de Morgan Algebras
An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Yerevan State University
سال: 2022
ISSN: ['1829-1740']
DOI: https://doi.org/10.46991/pysu:a/2012.46.3.014